Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
931	ESG Lab Review Hadapt Adaptive Analytical Platform for Big Data Date: October 2013 Author: Vinny Choinski, Senior Lab Analyst and Mike Leone, Lab Analyst Abstract: This ES Add to Reading List Source URL: hadapt.com Language: English - Date: 2013-12-02 13:21:47 Database management systems Business intelligence Formal sciences Database theory Apache Hadoop Analytics SQL Unstructured data Big data Data management Computing Technology
932	A Proof Markup Language for Semantic Web Services Paulo Pinheiro da Silva Deborah L. McGuinness Richard Fikes Knowledge Systems Laboratory, Stanford University Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2004-01-16 14:11:37 Formal systems Logical truth Deduction Rule of inference Inference Natural deduction Sequent Hindley–Milner Formal proof Logic Proof theory Logical syntax
933	Formal Methods Group ETH Zurich ¨ June 2003 Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan Computer Systems Institute ETH Zurich, Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:56:55 Cantons of Switzerland Model checking Boolean satisfiability problem ETH Zurich Røros Formal methods True quantified Boolean formula Zurich Theoretical computer science Boolean algebra Mathematics
934	OTFL SME One-On-One Michael Ho Vice President Software AG Government Solutions Maximize Your “Windows Of Relevance” Add to Reading List Source URL: pages.softwareaggov.com Language: English - Date: 2014-10-21 15:33:20 Software Database theory Formal sciences Terracotta Inc. Emerging technologies Business intelligence Ehcache Database Cache Database management systems Computing Data management
935	RG Perspective Defining and Managing Requirements: A Framework for Project Success and Beyond Requirements Are Critical as Project Managers Add to Reading List Source URL: www.robbinsgioia.com Language: English - Date: 2013-07-19 06:28:02 Business Software Project management Formal methods Business analysis Requirements analysis Business requirements Requirements management Business analyst Software development Software requirements Systems engineering
936	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: cbsa.gc.ca Language: English - Date: 2013-10-16 07:44:14 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
937	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science
938	New URL: http://www.R-project.org/conferences/DSC[removed]Proceedings of the 3rd International Workshop on Distributed Statistical Computing (DSC[removed]March 20–22, Vienna, Austria ISSN 1609-395X Add to Reading List Source URL: www.r-project.org Language: English - Date: 2014-02-10 04:21:32 Database management systems Formal sciences Biology Biological databases Microarray databases MicroArray and Gene Expression Database Data mining Mass spectrometry software Science Bioinformatics Microarrays
939	Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:57 Mathematical logic Formal methods Logical syntax Logical truth ACL2 Automated theorem proving Mathematical proof Theorem Automated proof checking Logic Mathematics Lisp programming language
940	Commissioning Definitions Add to Reading List Source URL: www.wbdg.org Language: English - Date: 2008-06-12 17:00:17 Formal methods Systems engineering Technology Systems engineering process Software development process Submittals Requirement New-construction building commissioning Engineering Building engineering Science Methodology

UPDATE